Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·2d
🧠Computational Logic
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·2d
🏗️Constructive Mathematics
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·2h·
Discuss: DEV
🌀Brotli Internals
Historical highlights?
logicmatters.net·1d
🔀Category Theory
Revisiting k-Means: 3 Approaches to Make It Work Better
machinelearningmastery.com·3h
📊Vector Quantization
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·20h·
Discuss: Hacker News
🎯Interactive Provers
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·1d
🎯Gradual Typing
Extensions and Shadows (6)
sites.psu.edu·1d
🎯Proof Tactics
JavaScript Microtasks: A Comprehensive Guide the Event Loop
codedynasty.dev·3h·
Discuss: Hacker News
🌊Stream Processing
The great misunderstanding of the DRY principle
pmatteo.com·2d·
Discuss: Hacker News
💧Liquid Types
Cancellative Convex Semilattices
arxiv.org·13h
🔲Proof Irrelevance
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
A Rust Shaped Hole
mnvr.in·1d·
Discuss: Hacker News
🦀Rust Macros
Introducing Amazon Bedrock AgentCore: Securely deploy and operate AI agents at any scale (preview)
aws.amazon.com·2h·
Discuss: Hacker News
🤖Network Automation
Proof by Intimidation
en.wikipedia.org·8h·
Discuss: Hacker News
🎯Proof Tactics
Kiro and the future of AI spec-driven software development
kiro.dev·3h·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
I'm Switching to Python and Actually Liking It
cesarsotovalero.net·10h·
Discuss: Hacker News
🌀Brotli Internals